belief logic中文是什么意思

• 相信逻辑

• "belief"中文翻译    n. 1.信，信任；相信 (in); 信仰，信心。 2. ...
• "logic"中文翻译    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
• "belief" 中文翻译 :    n. 1.信，信任；相信 (in); 信仰，信心。 2.信念；意见。 3.【基督新教】信条；教义；[the B-]使徒信条。 He has no great belief in religion 他不大相信宗教。 a man worthy of belief 可以信得过的人。 a person light of belief 轻信的人。 My belief is that …我相信，在我看来。 beyond belief 难以置信；非常，想像以外地。 in the belief that …相信…。 to the best of my belief 我相信，以我看来。
• "belief in" 中文翻译 :    信任于
• "in the belief that" 中文翻译 :    相信，认为，对
• "of belief" 中文翻译 :    信仰的影子
• "absolute belief" 中文翻译 :    绝对把握
• "acquired belief" 中文翻译 :    习得信念
• "act of belief" 中文翻译 :    信仰之行
• "age of belief" 中文翻译 :    信仰的年代
• "belief and betrayal" 中文翻译 :    信仰与背叛
• "belief and worship" 中文翻译 :    信仰与崇拜
• "belief function" 中文翻译 :    可信度函数
• "belief perseverance" 中文翻译 :    信念保持
• "belief revision" 中文翻译 :    信念修正; 信仰修正
• "belief spaces" 中文翻译 :    信念空间
• "belief system" 中文翻译 :    信念系统; 信任系统; 信条系统; 信仰体系
• "belief systems" 中文翻译 :    信仰体系
• "beyond belief" 中文翻译 :    难以置信; 以相信
• "crisis of belief" 中文翻译 :    信仰危机
• "degree of belief" 中文翻译 :    可信度; 信任度; 置信度
• "equivalence belief" 中文翻译 :    等值信念
• "false belief" 中文翻译 :    误信念
• "finding a belief" 中文翻译 :    如流星般坠落
• "have belief in" 中文翻译 :    对...有信心

• Self - belief logic systems for depicting rnowledge and belief
  关于知识和信念的逻辑框架
• This paper proposes a new method of modeling opponents in challenging environment , based on the model of bdi ( belief , desire , intention ) and combined with transposition principle and also probabilistic belief logic
  本论文以agent的bdi模型为思维模型，在概率信念逻辑基础上，引入换位原理，给出了一种多智能体对手建模的新思路并将之应用到机器人足球比赛中。
• In this paper , the belief logic system gny and it ' s related implementation tool spearii are utilized , ssl protocol is a focused instance , then the detailed analysis procedure from initial protocol model to various evolution protocol models is given , later the final evolution protocol model and ssl protocol are contrasted and thus the security analysis conclusion is drawn for ssl . during the analysis procedure two practical security authentication solutions are designed based on evolution protocol models
  本文采用著名的信念逻辑gny逻辑系统及其相关的形式化工具spear ，以ssl协议为分析实例，详细阐述了从初始协议模型到各个进化协议模型的分析过程，并将最终的进化模型与ssl协议作比较，给出ssl协议的安全分析，同时在分析过程中以协议模型为基础设计了两个实用的安全认证方案。